Tipo de programación en la que un mecanismo genera un programa informático que permite a los programadores escribir códigos con un mayor nivel de abstracción.
